MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 01-Dec-96 20:23:32 GMT
Content-Type: text/html
Content-Length: 1857
Last-Modified: Monday, 08-Apr-96 02:13:59 GMT

<HTML><HEAD><TITLE>Who I am</TITLE></HEAD>

<BODY><H1>Who I Am</H1>

<P><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href=http://www.cornell.edu><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><img src=http://www.cs.cornell.edu/Info/People/pavel/Cornell.gif></a>
I am a Ph.D. student at the <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.cornell.edu">
Departmant of Computer Science</A> of <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cornell.edu">
Cornell University.</A> 
I work with Professor 
<!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.cornell.edu/Info/Faculty/Robert_Constable.html">
Robert L. Constable</A>. In Fall 1994 I maintained Web page of course
in <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-94/CS611/">
Advanced Programming Languages</A> (CS611). This semester I start my work for 
<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html">
Nuprl project.</A></P>

<P><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href=http://www.cs.cornell.edu/Info/People/pavel/MSU.gif><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><img src=http://www.cs.cornell.edu/Info/People/pavel/msu.gif></a>
I graduated from the 
<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href=http://top.rector.msu.su/0h/General/mechmath.html>
Department of Mechanics and Mathematics </a> of
<!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="http://www.rector.msu.su">Moscow State University</A>
(<!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href=http://www.cs.msu.su/moscow/main.html>Moscow
</a> ,<!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href=http://www.lib.utexas.edu/Libs/PCL/Map_collection/commonwealth/Russia.GIF>
Russia</a>). Under supervision
of Professor <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href=http://www.ras.ru/tmp/chel_10047_1.html>S.Artemov</a> I
made several publications in Mathematical Logic.

<p><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href=http://arch.buffalo.edu:8001/~tasman/i_fountain_plaza.jpg>
<!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><img src=http://www.cs.cornell.edu/Info/People/pavel/Buffalo.gif></a>
My wife, Elena, now is a graduate students in Economics at the 
<!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href=http://wings.buffalo.edu> State University of New York at Buffalo</a>. 
We are married more then 4 years and know each other more
than 10 years because we graduated the same high school in Moscow. (By the way, the
same school one year after us graduated my classmate at Cornell 
<!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href=http://www.cs.cornell.edu/Info/People/berg/home.html>Eugene Ortenberg</a>.)
</P>
<!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="http://www.cs.cornell.edu/Info/People/pavel/Welcome.html"><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><IMG SRC="http://www.cs.cornell.edu/Info/People/pavel/e-mail.gif" ALT="pavel@cs.cornell.edu"></A>
</BODY></HTML>
